Access Control / Verification and Validation / Petri Nets / Formal Specification / Real Time Systems / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control
Data Warehousing / Information Integration / Pure Mathematics / Active Database / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability